Merge branch 'editable-label' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 15 Jun 2020 16:47:57 +0000 (16:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 15 Jun 2020 16:47:57 +0000 (16:47 +0000)
Editable label

See merge request GNOME/gtk!2081


Trivial merge